Ravve, Elena: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Lambek Calculus and Formal Languages

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 1.78 MB

english, 2016

2

On the location of roots of graph polynomials

Makowsky, Johann A., Ravve, Elena V., Blanchard, Nicolas K.

Journal:

European Journal of Combinatorics

Year:

2014

Language:

english

File:

PDF, 451 KB

english, 2014

3

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Towards a Categorical Foundation of Mathematics

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 11.08 MB

english, 2016

4

[IEEE 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2013.09.23-2013.09.26)] 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - A Systematic Approach to Computations on Decomposable Graphs

Ravve, Elena V., Volkovich, Zeev

Year:

2013

Language:

english

File:

PDF, 314 KB

english, 2013

5

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Views and Updates over Distributed Databases

Ravve, Elena V.

Year:

2014

Language:

english

File:

PDF, 215 KB

english, 2014

6

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - A Computational Framework for the Study of Partition Functions and Graph Polynomials

Kotek, Tomer, Makowsky, Johann A., Ravve, Elena V.

Year:

2012

Language:

english

File:

PDF, 203 KB

english, 2012

7

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Automatic Definition of Optimal Default Parameters of Models: Image Matting Application

Ravve, Elena V., Volkovich, Zeev, Weber, Gerhard-Wilhelm

Year:

2015

Language:

english

File:

PDF, 1.34 MB

english, 2015

8

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Incremental Reasoning on Strongly Distributed Multi-agent Systems

Ravve, Elena V., Volkovich, Zeev, Weber, Gerhard-Wilhelm

Year:

2015

Language:

english

File:

PDF, 412 KB

english, 2015

9

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees

Ravve, Elena V.

Year:

2014

File:

PDF, 303 KB

2014

10

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees

Ravve, Elena V.

Year:

2014

Language:

english

File:

PDF, 303 KB

english, 2014

11

Incremental computations over strongly distributed databases

Ravve, Elena V.

Journal:

Concurrency and Computation: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 360 KB

english, 2015

12

Entropy “2”-Soft Classification of Objects

Popkov, Yuri, Volkovich, Zeev, Dubnov, Yuri, Avros, Renata, Ravve, Elena

Journal:

Year:

2017

Language:

english

File:

PDF, 1.27 MB

english, 2017

13

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Beyond Gödel's Theorem: Turing Nonrigidity Revisited

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 4.48 MB

english, 2016

14

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Zil'ber's Trichotomy and o-minimal Structures

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 318 KB

english, 2016

15

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Convergence Laws for Random Graphs

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 1.96 MB

english, 2016

16

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Extensions of models of PV

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

17

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Types and Indescernibles in Finite Models

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 1.83 MB

english, 2016

18

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || The Higher Infinite in Proof Theory

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 3.17 MB

english, 2016

19

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Intervals without Critical Triples

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 4.13 MB

english, 2016

20

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Special sessions

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 594 KB

english, 2016

21

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Strongly Minimal Sets and Geometry

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 2.52 MB

english, 2016

22

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Preface

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 721 KB

english, 2016

23

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || V=L and Maximize

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 11.20 MB

english, 2016

24

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Plenary sessions

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 316 KB

english, 2016

25

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Combinatorial Principles from Adding Cohen Reals

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 1023 KB

english, 2016

26

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Accessible Segments of the Fast Growing Hierarchy

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

27

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Noninterpretability of Infinite Linear Orders

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 269 KB

english, 2016

28

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Towards Recursive Model Theory

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 2.57 MB

english, 2016

29

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Model Theory of Modules

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 290 KB

english, 2016

30

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || There May Be No Nowhere Dense Ultrafilter

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 2.03 MB

english, 2016

31

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || The Number of Path-Components of a Compact Subset of Rn

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 2.12 MB

english, 2016

32

Logic Colloquium '95 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995) || Computationally-Sound Proofs

Makowsky, Johann A., Ravve, Elena V.

Year:

2016

Language:

english

File:

PDF, 11.51 MB

english, 2016

33

Construction of the developing connecting tree

Kirzhner, Valery M., Ravve, Elena V., Volkovich, Zeev

Journal:

Engineering Optimization

Year:

2020

File:

PDF, 2.01 MB

2020